Software system safety - PDFSEARCH.IO - Document Search Engine

Software system safety
Results: 864

#	Item
221	DRAFT Type Families and Elaboration Alejandro Serrano Jurriaan Hage Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Computing Programming language theory Type class Generic programming Glasgow Haskell Compiler Type system Kind Type safety Haskell Type theory Software engineering Data types
222	Static Type Systems (Sometimes) have a Positive Impact on the Usability of Undocumented Software: An Empirical Evaluation Clemens Mayer, Stefan Hanenberg University Duisburg-Essen, Institute for Computer Science and Add to Reading List Source URL: swp.dcc.uchile.cl Language: English - Date: 2012-04-18 15:25:54 Cross-platform software Type theory Data types Java platform Scripting languages Type system Ada Objective-C Type safety Computing Software engineering Computer programming
223	From System F to Typed Assembly Language GREG MORRISETT and DAVID WALKER Cornell University KARL CRARY Carnegie Mellon University and Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-10-21 10:40:17 Computing Models of computation Functional languages Program analysis Type system Standard ML Type safety Typed assembly language Lambda calculus Software engineering Type theory Programming language theory
224	Cyber Safety Some aspects of our lives should not be shared with everyone You should have control over what you share and how you share it Add to Reading List Source URL: www.monlib.vic.gov.au Language: English - Date: 2014-06-30 21:11:50 Antivirus software Cryptographic software Norton Internet Security Proprietary software Password Internet privacy Phishing HTTP cookie Malware Software System software Computer network security
225	AnswersThatWorkTM How to Disable Windows Vista Security Confirmations (UAC) How to Disable Windows Vista Multiple Security Confirmations Add to Reading List Source URL: www.answersthatwork.com Language: English - Date: 2008-04-02 03:29:41 Software Windows NT User Account Control Spyware Malware Features new to Windows Vista Security and safety features new to Windows Vista Microsoft Windows Windows Vista System software
226	Managing Internet Usage on a Mac How to Set up Parental Controls on your Mac First thing you’ll need is to make sure you have at least two separate accounts; an administrator (admin) account and the non-admin parental Add to Reading List Source URL: www.secasa.com.au Language: English - Date: 2014-04-09 21:43:41 Password System Preferences System software Content-control software Windows Vista Computing FB Limiter Software Internet safety Parental controls
227	Second Skin Fashion design education to enhance sun safety awareness A toolkit designed to facilitate greater understanding of the role of fashion design in society and the value of design thinking skills in solving wic Add to Reading List Source URL: designminds.org.au Language: English - Date: 2013-10-22 01:31:05 Architectural design Creativity Design thinking Fashion design X Window System Software Design Visual arts
228	Executive Summary Incident Management Software Current and Future Use in Emergency Management Kristen Lovejoy, PhD Add to Reading List Source URL: www.disaster-resource.com Language: English - Date: 2014-12-16 16:41:40 Emergency management Humanitarian aid Occupational safety and health Interoperability Hospital incident command system Safety Customer relationship management Management Public safety Disaster preparedness
229	Quick upgrade instructions from previous Netstop v5 to v5[removed]Download and install the latest version of NetStop. http://www.kiosklogix.com/download/NetstopSetup_370.exe Information regarding existing configurations Add to Reading List Source URL: www.kiosklogix.com Language: English - Date: 2011-06-22 20:02:55 Windows Registry User Account Control Security and safety features new to Windows Vista Microsoft Windows Windows Vista System software
230	Type-Safe Linking and Modular Assembly Language ∗ Neal Glew and Greg Morrisett Department of Computer Science Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-02-16 17:38:57 Type theory Data types Cross-platform software Procedural programming languages Object-oriented programming Type system C Type safety Portable Executable Computing Software engineering Computer programming

UPDATE